-
A minimal, pure specification logic programming language with meta-language capability.
axiomatic language  higher-order logic  HiLog 
www.axiomaticlanguage.org - 2009-02-07
-
Prolog, expert systems and artificial intelligence products, articles, examples, freeware and customer stories about embedding intelligent components that ...
compilateur Prolog  expert system shell  inference engines  intelligent components  langage Prolog  process rules  Prolog examples  Prolog language  Prolog programming  web advisors  web problem solvers 
www.amzi.com - 2009-02-07
-
Contact Research Publications GreekT E X Downloads Journal Welcome You are now entering my Personal Web site. In these pages you can find articles, software and ...
CLP R  Dryllerakis  Event Calculus  GreekTeX 
www.dryllerakis.net - 2009-02-14
-
ooLogic JPX - A pure Java rule engine and API based on Prolog
Warren Abstract Machine 
www.oologic.com - 2009-02-09
-
Describes ToonTalk - an animated interactive world inside of which children can build programs and games.
animated programming  child programming language  demonstrative programming  FGHC  Linear Janus  Pictorial Janus  programming by rehersal  Robot Odyssey  Rocky's Boots  Toon Talk 
www.toontalk.com - 2009-02-04
-
Home to the 1st International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07), co-located with the 9th International Conference on ...
LPMNR  non-montonic reasoning  SEA'07 
sea07.cs.bath.ac.uk - 2009-03-09
-
Tom Crick's Homepage at the Department of Computer Science, University of Bath
gccbcpl  superoptimisation  Tom Crick 
www.tomcrick.com - 2009-02-04
-
Real World Artificial Intelligence applications including rule-based systems, knowledge, logic, expert systems, agents, NLP, data mining, learning, speech and ...
Backpropogation 
www.pcai.com - 2009-02-07
-
Visual Prolog is a full-featured programming environment for making commercial applications. Prolog compiler, IDE, tutorials, examples. New: Visual Prolog 7.0
application oriented languages  interpreter development  object oriented languages  PDC Prolog  Turbo Prolog  Visual Prolog 7 
www.visual-prolog.com - 2009-02-06
-
Tarroo Incorporated is a US based software house specializing in web development using technologies like AJAX, Flash, Silverlight, ASP, .Net, PHP, Colfusion and ...
phased deployment  Tarroo 
www.tarroo.com - 2009-02-08
|
logic
c++
prolog compiler
artificial intelligence
prolog
business
lisp
robotics
java
decision support
|
|